منابع مشابه
The Anatomy of Innocence
We reveal a symmetric structure in the ho/n games model of innocent strategies, introducing rigid strategies, a concept dual to bracketed strategies. We prove a direct definability theorem of general innocent strategies with respect to a simply typed language of extended Böhm trees, which gives an operational meaning to rigidity in call-byname. A corresponding factorization of innocent strategi...
متن کاملThe Proof of Innocence
We show that if a car stops at a stop sign, an observer, e.g., a police officer, located at a certain distance perpendicular to the car trajectory, must have an illusion that the car does not stop, if the following three conditions are satisfied: (1) the observer measures not the linear but angular speed of the car; (2) the car decelerates and subsequently accelerates relatively fast; and (3) t...
متن کاملthe pathology of historical texts translation: a study of persian translations of 7th volume of cambridge history of iran
ترجمه با گسترش زبان آغاز شده و اهمیت آن روز به روز افزایش می یابد، و برای اولین بار به عنوان شاخه ای از دانش و روشی برای انتقال علوم، فرهنگ و تجربه در در دوره قاجار در ایران آغاز شد. در حقیقت متون تاریخی از اولین متونی هستند که در ایران ترجمه شدند چرا که به سیاستمداران آن دوره کمک می کردند تا به علل موفقیت جهان غرب و پیشرفت هایشان در طول تاریخ پی ببرند، بنابراین به تدریج ترجمه این گونه متون رون...
15 صفحه اولArchaeology : the loss of innocence
We p.S#&$ IQst year two mticles dealing with the a i m and relevante of the so-called 'nem first was by Professor Richrd Watson (1972, 210-15) and the second by ,301-4). We also pubhhed a r h by David C h k e of 'Explanation tson, S. A . LeBlanc and C. L. Redman (1972, 237-9). Here, nd Tutor of Peterhouse, Cambridge, sets out his com'dered views archaeology, some of which he has already dkeusse...
متن کاملThe Anatomy of Innocence Revisited
We refine previous analyses of Hyland-Ong game semantics and its relation to λand λμ-calculi and present improved factorization results for bracketing and rigidity that can be combined in any order.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Transformative Works and Cultures
سال: 2009
ISSN: 1941-2258
DOI: 10.3983/twc.2009.0157